Make the text look a bit nicer

Add a margin around the text, and some space between the title
and the body of the info tab.

diff --git a/demos/gtk-demo/main.c b/demos/gtk-demo/main.c
index 80a51bcc810ad31b7c8e2f5b45619b2293b19fda..1d185e449fd7759760a4e8046175b7c82c18984b 100644 (file)
--- a/demos/gtk-demo/main.c
+++ b/demos/gtk-demo/main.c
@@ -714,6 +714,7 @@ create_text (GtkTextBuffer **buffer,
                                        GTK_SHADOW_IN);
 
   text_view = gtk_text_view_new ();
+  g_object_set (text_view, "margin", 20, NULL);
 
   *buffer = gtk_text_buffer_new (NULL);
   gtk_text_view_set_buffer (GTK_TEXT_VIEW (text_view), *buffer);
@@ -903,6 +904,7 @@ main (int argc, char **argv)
 
   gtk_text_buffer_create_tag (info_buffer, "title",
                               "font", "Sans 18",
+                              "pixels-below-lines", 10,
                               NULL);
   g_object_unref (info_buffer);